تعداد ۵۹ پاسخ غیر تکراری از ۵۹ پاسخ تکراری در مدت زمان ۹,۱۴ ثانیه یافت شد.

1. Algebraic Informatics

پدیدآورنده : \ Andreas Maletti (Ed.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار ,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها

رده :

QA

76

.

76

.

A55

2015

E-Book

,

2. Algebraic informatics :

پدیدآورنده : Miroslav Ćirić, Manfred Droste, Jean-Éric Pin (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algebra-- Data processing, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Algebra-- Data processing.,Programming languages (Electronic computers)-- Semantics.

رده :

QA76

.

7

3. Applied semantics : International Summer School, APPSEM 2000, Caminha, Portugal, September, 9-15, 2000 : advanced lectures

پدیدآورنده : Gilles Barthe...]et al.[ )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

L28

Vol

.

2395

4. Attribute grammars, applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Programming languages )Electronic computers(-- Syntax-- Congresses

رده :

QA

76

.

7

.

A783

1991

5. Attribute grammars. applications and systems : international summer school SAGA, Prague, Czechoslovakia, June 4-13, 1991 : proceedings

پدیدآورنده : H. Alblas, B. Melichar, )eds.(

کتابخانه: (طهران)

موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Syntax -- Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

L28

Vol

.

545

6. Automata, languages and programming :

پدیدآورنده : edited by G. Ausiello and C. Böhm.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Formal languages -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers)

7. Automata, languages, and programming :

پدیدآورنده : edited by Jan Paredaens.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming -- Congresses.,Machine theory -- Congresses.,Programming languages (Electronic computers) -- Congresses.

8. CONCUR'91 :

پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

9. Communicating Process Architectures 2002 :

پدیدآورنده : edited by James Pascoe [and others].

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer multitasking, Congresses.,occam (Computer program language), Congresses.,Parallel processing (Electronic computers), Congresses.,Fonctionnement multitâche, Congrès.,Occam (Langage de programmation), Congrès.,Parallélisme (Informatique), Congrès.,Computer multitasking.,COMPUTERS-- Programming Languages-- C♯,COMPUTERS-- Programming Languages-- Java.,COMPUTERS-- Programming Languages-- Pascal.,occam (Computer program language),Parallel processing (Electronic computers)

رده :

QA76

.

73

.

O2

W67

2002eb

10. Conference record : ACM SIGPLAN ASIA-PEPM 2002 : the ASIAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : papers presented at the symposium, Aizu, Japan, September 12-14, 2002

پدیدآورنده : sponsored by ACM Special Interest Group on Programming Languages )SIGPLAN(; supported by : the University of Aizu

کتابخانه: (طهران)

موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers( -- Semantics

رده :

QA

76

.

6

.

P45

2002

11. Current trends in concurrency :

پدیدآورنده : edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg.

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.

12. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

رده :

QA

76

.

9

.

D35

.

I351

1995

13. Declarative systems

پدیدآورنده : / edited by G. David, R. T. Boute, Boute, B. D. Shriver

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Electronic data processign - Distributed processing -- Congresses,Parallel Processing (Electronic computers) -- Congresses,Programming languages ( Electronic computer) --Semantics -- Congresses

رده :

QA

76

.

9

.

D5I343

1988

14. Formal semantics of Programming languages

پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses

رده :

QA

76

.

7

.

C68

1970

15. Language, logic, and computation :

پدیدآورنده : Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach (eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational linguistics, Congresses.,Computer logic, Congresses.,Programming languages (Electronic computers)-- Semantics, Congresses.,Computational linguistics.,Computer logic.,Programming languages (Electronic computers)-- Semantics.

رده :

QA76

.

9

.

L63

16. Logic, language, and computation

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer logic ; Congresses. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computational linguistics ; Congresses. ;

17. Logic, language, and computation :

پدیدآورنده : Nick Bezhanishvili [and others] (editions.)

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational linguistics, Congresses,Computer logic, Congresses,Programming languages (Electronic computers)-- Semantics, Congresses

رده :

QA76

.

9

.

L63

I57

2009eb

18. Logic, language, and computation

پدیدآورنده : \ [edited by] Martin Aher...[et.al]

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبان‌های برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها

رده :

QA

75

.

5

.

L644

2015

E-Book

,

19. Logic program synthesis and transformation - meta-programming in logic :

پدیدآورنده : Laurent Fribourg, Franco Turini (Eds.).

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.

20. Mathematical founations of programming semantics; International Conference Manhattan, Kansas, April 11-12, 1985 Proceedings

پدیدآورنده : edited by Austin Melton

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : Congresses ، Programming languages )Electronic computers( - Semantics,Congresses ، Electronic digital computers - Programming

رده :

QA

76

.

L4

v

.

239

»
3
2
1
«

تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها